The formulation of a hypothesis is the way or the requirements that will be completed to proceed to edit it and then to have the one enunciated well-known as hypothesis; that which is different to the hypothesis concept. That is to say, we will speak of the hypothesis like an enunciated and later o..

Barnett and Block claim that Bagus and Howden support indirectly the concept of market failure. In this paper, we show that maturity mismatching in an unhampered market may imply entrepreneurial error but cannot be considered a market failure. We demonstrate why fractional-reserve banking leads to business cycles even if there is no central bank and why maturity mismatching does not per se lead to clusters of errors in a free market. Finally, in contrast to the examples provided by Barnett and (...) Block, we assure that maturity mismatching does not imply the creation of two incompatible contracts due to the fungible nature of money. (shrink)

* Este texto hizo parte de una conferencia que se ofreció en el X Congreso Nacional de Filosofía de Argentina, celebrado en Huerta Grande (Córdoba) entre el 24 y el 27 de noviembre de 1999. Una versión abreviada ha sido publicada en las pp. 74-76 de Actas de X Congreso Nacional de Filosofía. Asociación Filosófica Argentina AFRA y Escuela de Filosofía, Universidad Nacional..

Barnett and Block (Journal of Business Ethics, 2009 ) attack the heart of modern banking by claiming that the practice of borrowing short and lending long is illicit. While their claim of illegitimacy concerning fractional reserve banking can be defended, their justification lacks substance. Their claim is herein strengthened by a legal analysis of deposits and loans based on Huerta de Soto (Money, Bank Credit and Economic Cycles, 2006 ). A combined legal and economic analysis shows that while lending deposits (...) can be regarded as illicit, the maturity mismatching of loans is legitimate contrary to Barnett and Block’s claim. No over-issuance of property rights is involved with this practice once the distinction between present and future goods is taken into account. However, while the practice is not illicit per se , it is greatly assisted and developed through the presence of a fractional reserve banking system, and can sometimes breed detrimental effects. (shrink)

In this book, which thoroughly revises and greatly expands his classic work Sameness and Substance, David Wiggins retrieves and refurbishes in the light of twentieth-century logic and logical theory certain conceptions of identity, of substance and of persistence through change that philosophy inherits from its past. In this new version, he vindicates the absoluteness, necessity, determinateness and all or nothing character of identity against rival conceptions. He defends a form of essentialism that he calls individuative essentialism, and then a (...) form of realism that he calls conceptualist realism. In a final chapter he advocates a human being-based conception of the identity and individuation of persons, arguing that any satisfactory account of personal memory must make reference to the life of the rememberer himself. This important book will appeal to a wide range of readers in metaphysics, philosophical logic, and analytic philosophy. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

A collection of 14 essays honoring the life and work of Oxford philosopher Wiggins touching on topics from ancient philosophy to ethics, metaphysics and the theory of meaning. The contributing scholars debate many of the seminal issues of Wiggins' work, including the determinancy of distinctness, relative identity, naturalism in ethics, logic and truth in moral judgments, and the practical wisdom of Aristotle. The collection uniquely features replies by Wiggins to each of the papers. Annotation copyright by Book News, Inc., Portland, (...) OR. (shrink)

We present a longitudinal computational study on the connection between emotional and amodal word representations from a developmental perspective. In this study, children's and adult word representations were generated using the latent semantic analysis (LSA) vector space model and Word Maturity methodology. Some children's word representations were used to set a mapping function between amodal and emotional word representations with a neural network model using ratings from 9‐year‐old children. The neural network was trained and validated in the child semantic space. (...) Then, the resulting neural network was tested with adult word representations using ratings from an adult data set. Samples of 1210 and 5315 words were used in the child and the adult semantic spaces, respectively. Results suggested that the emotional valence of words can be predicted from amodal vector representations even at the child stage, and accurate emotional propagation was found in the adult word vector representations. In this way, different propagative processes were observed in the adult semantic space. These findings highlight a potential mechanism for early verbal emotional anchoring. Moreover, different multiple linear regression and mixed‐effect models revealed moderation effects for the performance of the longitudinal computational model. First, words with early maturation and subsequent semantic definition promoted emotional propagation. Second, an interaction effect between age of acquisition and abstractness was found to explain model performance. The theoretical and methodological implications are discussed. (shrink)

Drawing on work of the past decade, this volume brings together articles from the philosophy, history, and sociology of science, and many other branches of the biological sciences. The volume delves into the latest theoretical controversies as well as burning questions of contemporary social importance. The issues considered include the nature of evolutionary theory, biology and ethics, the challenge from religion, and the social implications of biology today (in particular the Human Genome Project).

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Con base en Maneras trágicas de matar a una mujer, de Nicole Loraux, el presente artículo se propone la presentación de los modos tan disímiles como en una polis griega es pensada la muerte de un hombre y la de una mujer. Se busca mostrar con especial énfasis el modo como la muerte de la mujer es teatralizada en la tragedia griega, género literario considerado aquí como lugar en el que se desvanecen, aunque ambiguamente, las líneas fronterizas entre las dos (...) maneras de morir. De acuerdo con esto, se muestran algunos rasgos de la antropología política en los que la concepción griega antigua sustenta, según el sexo de quien haya de morir, los significados diversos acerca de la muerte en el campo de problemas examinados. Por tanto, no se pretende proponer ni realizar un estudio que sugiera líneas argumentativas a favor de una concepción de lo trágico, ni interpretativas acerca de la esencia de ese genial fruto artístico del espíritu griego. (shrink)

En el Ion se da una explicación de la inspiración poética adjudicándole las características propias de lo irracional. Pero a través de la problemática planteada en el Banquete, la poesía misma empieza a ser convertida en un medio por el cual el filósofo puede llegar al conocimiento de las verdades abstractas. Se establece entonces un enlace entre la inspiración y el concepto, dejándose clara la compatibilidad entre los deseos de los hombres de hablar de los dioses, y la necesidad de (...) un discurso conceptualmente consistente. Pero la filosofía, todavía más, es asimilada al nivel superior de la locura adoptando de este modo un carisma particular que Platón antes ha atribuido, con explícita necesidad de desacreditarles, a la poesía y al poeta. La locura abre en el Fedro unas importantes perspectivas con las cuales cerramos el cuadro que hemos trazado a nuestra discusión, el Banquete y el Fedro, presentan como fundamento del ascenso a las esencias, eternas, no la curiosidad meramente intelectual, sino el Eros, una locura atravesada por la pasión de naturaleza incuestionablemente divina. El decurso platónico nos lleva de tal modo a un completo dominio filosófico, en el que, sin embargo, poesía y filosofía, llegan a constituir una indisoluble unidad. (shrink)

La ‘explicación’ platónica de la creación poética en el Ion como efecto de la inspiración permite identificar las condiciones culturales que le subyacen: por carecer de escritura, la sabiduría griega, incluida la poética, es transmitida oralmente. La circunstancia en que realiza su actividad el poeta llevan a Platón a proponer entonces que esta no obedece a la téchne y, por tanto, el poeta no puede dar razón de lo que dice. Esta crítica alcanza a los sofistas en sus usos ‘pedagógicos’ (...) de la poesía, y cabe preguntarse si podría estar dirigida contra las concepciones sofísticas de la poesía como téchne. Sin embargo, sostener que está asimismo dirigida contra estas concepciones constituye un forzamiento de la doctrina platónica de la poesía, porque los planteamientos de la sofística surgen, desde Simónides de Ceos, dentro de circunstancias culturales en que las tesis platónicas pierden validez: la obra de los sofistas es producto de una época que dispone ya de escritura alfabética. (shrink)

In this study, we analyzed the relationship between the amodal (semantic) development of words and two popular emotional norms (emotional valence and arousal) in English and Spanish languages. To do so, we combined the strengths of semantics from vector space models (vector length, semantic diversity, and word maturity measures), and feature-based models of emotions. First, we generated a common vector space representing the meaning of words at different developmental stages (five and four developmental stages for English and Spanish, respectively) using (...) the Word Maturity methodology to align different vector spaces. Second, we analyzed the amodal development of words through mixed-effects models with crossed random effects for words and variables using a continuous time metric. Third, the emotional norms were included as covariates in the statistical models. We evaluated more than 23,000 words, whose emotional norms were available for more than 10,000 words, in each language separately. Results showed a curve of amodal development with an increasing linear effect and a small quadratic deceleration. A relevant influence on the amodal development of words was found only for emotional valence (not for arousal), suggesting that positive words have an earlier amodal development and a less pronounced semantic change across early lifespan. (shrink)

The author of this book has traced the major lines of argument over those years in a most engaging style with clear descriptions of the concepts and ideas.

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Interpretation -- Introduction -- Interpreting Plato -- The political culture of Plato's early dialogues -- Dialogue -- Character and history -- The mouthpiece principle -- Forms of evidence -- Desire -- Socrates and eros -- The subjectivist conception of desire -- Instrumental and terminal desire -- Rational and irrational desires -- Desire in the critique of Akrasia -- Interpreting Lysis -- The deficiency conception of desire -- Inauthentic friendship -- Platonic desire -- Antiphilosophical desires -- Knowledge -- Excellence as wisdom (...) -- The epistemic unity of excellence -- Dunamis and technê -- Goodness and form -- The epistemological priority of definitional knowledge -- Ordinary ethical knowledge -- Method -- The Socratic fallacy -- Socrates' pursuit of definitions -- Hupothesis -- Two postulates -- The geometrical illustration -- Geometrical analysis -- The method of reasoning from a postulate -- Elenchus and hupothesis -- Knowledge and aitia -- F-conditions -- Cognitive security -- Aporia -- Forms of aporia -- Dramatic aporia -- The example of Charmides -- Charmides as autobiography -- The politics of Sôphrosunê -- Critias' Philotimia -- Self-knowledge and the knowledge of knowledge -- Knowledge of knowledge and knowledge of the good -- Philosophy and the polis. (shrink)

The Discovery of Evolution explains what the theory of evolution is all about by providing a historical narrative of discovery. Some of the major puzzles that confront anyone studying living things are discussed and it details how these were solved from an evolutionary perspective. Beginning with the emergence of the early naturalists in the seventeenth century, the scientific discoveries that led up to and then flowed from Darwin and Wallace's theory of evolution by natural selection are then discussed, and finally (...) the modern evolutionary studies at the close of the twentieth century are detailed. This new edition of The Discovery of Evolution is fully updated and contains a new chapter on the evolutionary studies of the twentieth century. By approaching the topic of evolution in this way, it is made accessible to the non-specialist and no previous study of biology is required in order to read and understand this book. (shrink)

The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in light (...) of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (shrink)

This is an in-depth study of J.G. Fichte’s philosophy of mathematics and theory of geometry. It investigates both the external formal and internal cognitive parallels between the axioms, intuitions and constructions of geometry and the scientific methodology of the Fichtean system of philosophy. In contrast to “ordinary” Euclidean geometry, in his Erlanger Logik of 1805 Fichte posits a model of an “ursprüngliche” or original geometry – that is to say, a synthetic and constructivistic conception grounded in ideal archetypal elements that (...) are grasped through geometrical or intelligible intuition. -/- Accordingly, this study classifies Fichte’s philosophy of mathematics as a whole as a species of mathematical Platonism or neo-Platonism, and concludes that the Wissenschaftslehre itself may be read as an attempt at a new philosophical mathesis, or “mathesis of the mind.” -/- “This work testifies to the author's exact and extensive knowledge of the Fichtean texts, as well as of the philosophical, scientific and historical contexts. Wood has opened up completely new paths for Fichte research, and examines with clarity and precision a domain that up to now has hardly been researched.” Professor Dr. Marco Ivaldo -/- “This study, written in a language distinguished by its limpidity and precision, and constantly supported by a close reading of the Fichtean texts and secondary literature, furnishes highly detailed and convincing demonstrations. In directly confronting the difficult historical relationship between the Wissenschaftslehre and mathematics, the author has broken new ground that is at once stimulating, decidedly innovative, and elegantly audacious.” Professor Dr. Emmanuel Cattin. (shrink)

In 1962, the philosopher Richard Taylor used six commonly accepted presuppositions to imply that human beings have no control over the future. David Foster Wallace not only took issue with Taylor's method, which, according to him, scrambled the relations of logic, language, and the physical world, but also noted a semantic trick at the heart of Taylor's argument. _Fate, Time, and Language_ presents Wallace's brilliant critique of Taylor's work. Written long before the publication of his fiction and essays, Wallace's (...) thesis reveals his great skepticism of abstract thinking made to function as a negation of something more genuine and real. He was especially suspicious of certain paradigms of thought-the cerebral aestheticism of modernism, the clever gimmickry of postmodernism-that abandoned "the very old traditional human verities that have to do with spirituality and emotion and community." As Wallace rises to meet the challenge to free will presented by Taylor, we witness the developing perspective of this major novelist, along with his struggle to establish solid logical ground for his convictions. This volume, edited by Steven M. Cahn and Maureen Eckert, reproduces Taylor's original article and other works on fatalism cited by Wallace. James Ryerson's introduction connects Wallace's early philosophical work to the themes and explorations of his later fiction, and Jay Garfield supplies a critical biographical epilogue. (shrink)

Este artículo examina, de manera breve y panorámica, algunas contribuciones desarrolladas por el grupo de pensadores bolivianos y mexicanos Comuna dentro de la concepción de revolución del marxismo inicial de los pensadores Karl Marx y Federico Engels. Entre las contribuciones que se destacan se cuenta la producción de un marxismo situado que permite ver algunas complejidades no tomadas en cuenta por lo que Perry Anderson (2005) ha llamado “marxismo occidental”. Estos autores se sitúan desde el comunismo como identidad política de (...) una memoria espectral y desde allí desplazan la noción de una clase preexistente que contenga en sí las condiciones de emancipación universal. Estos autores señalan que el sujeto de la transformación social se construye en las condiciones de la lucha social y la lucha política frente a sus adversarios de clases en la disputa por el sentido común desde el Estado y más allá de este y el capital. Con ello estos autores generan una ruptura respecto del enlace entre sujeto universal y revolución desarrollado por Marx en el siglo XIX. (shrink)

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

Resumen A pesar de que uno de los objetivos del planteamiento platónico en República acerca de la formación del carácter de los guardianes es la critica, la censura y el destierro de los poetas y de la poesía mimética como "recurso pedagógico" por su inutilidad como fuente de conocimiento, Platón admite la introducción de cierto tipo de poesía dentro de su programa educativo. No es, entonces, adecuado extender a todo el pensamiento platónico una tesis exclusiva del libro X, porque Platón (...) mismo reconoce una modalidad de mimesis que sobrevive a la censura.Despite the fact that one of the objectives of the platonic approach in Republic about guardians' character education is to criticize, censure, and exile the poets and the mimetic poetry as a "pedagogic resource" due to their uselessness as a source of knowledge. Plato admits the introduction of certain kind of poetry in his educational program. It is not then appropriate to apply a thesis that is exclusive of the X book to all platonic thought since Plato himself recognizes a modality of mimesis which survives to censure. (shrink)

Normal 0 21 false false false ES-CO X-NONE X-NONE El Eros en el Fedro es ético y filosófico, pero también Manía, irracionalidad. Su locura la procura el dios del que se está poseso en la procesión celeste de las almas, pero también la origina su fuerza pasional por desear la belleza presente en “este mundo”, y la nostalgia y deseo de la belleza que el alma gozó en su anterior vida inmortal y trascendente. Es Eros entonces quien empuja a Psyqué (...) a la readquisición de sus alas, cuando aparece ante ella la belleza terrenal del amado. Esto constituye un alto autocrítico de Platón en el Fedro , quien en otros diálogos sólo atribuía las emociones y los deseos al cuerpo. El Eros del Fedro , el mismo por cuya naturaleza el filósofo asciende hasta las sublimes Ideas, es también la causa del importante valor que ahora adquieren los sentimientos, las pasiones y el amor personal, introduciendo Platón, concomitantemente, una nueva concepción sobre la locura (erótica). (shrink)

El pensamiento filosófico, introducido a partir de la obra de los presocráticos, particularmente de Heráclito y Jenófanes, formula unas consideraciones sobre la creación poética, las cuales discrepan de la concepción de ella como fruto de la actividad inspiradora de la divinidad, y a partir de las cuales comienza a caracterizarse una disputa ( pálaia diáphora ) que muestra los caminos disímiles y opuestos por donde discurren el saber del poeta y el saber del filósofo. La filosofía afirma desde entonces una (...) nueva forma y un pensamiento distinto, en cuya esencia está el problema de la ciencia del saber, prescindiendo del poder inspirador de la divinidad. (shrink)

Human thought is unable to acknowledge the reality of affliction. To acknowledge affliction means saying to oneself: I may lose at any moment, through the play of circumstances over which I have no control, anything whatsoever I possess, including those things which are so intimately mine that I consider them as being myself. There is nothing that I might not lose.

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

Japan and the Enemies of Open Political Science argues that Eurocentric blindness is a scientific failing, not a moral one. In a way true of no other political system, Japan's greatness has the potential to enliven and reform almost all the main branches of Western Political Science. David Williams criticizes Western social science, Anglo-American Philosophy and French Theory and explains why mainstream economists, historians of political thought and postculturalists have ignored Japan's modern achievements. Williams demonstrates why the renewal of (...) social science and the nurturing of a "a philosophy of the Pacific Century" requires a sustained act of intellectual demolition. (shrink)